Haskell Curry | |||||
---|---|---|---|---|---|
Persona informo | |||||
Haskell Brooks Curry | |||||
Naskonomo | Haskell Brooks Curry | ||||
Naskiĝo | 12-an de septembro 1900 en Millis | ||||
Morto | 1-an de septembro 1982 (81-jaraĝa) en State College | ||||
Lingvoj | angla vd | ||||
Ŝtataneco | Usono ![]() | ||||
Alma mater | Universitato de Göttingen (1928–1930) Universitato Harvard (1922–1924) Masaĉuseca Instituto de Teknologio (1920–1922) Universitato Harvard (1916–1920) ![]() | ||||
Familio | |||||
Patro | Samuel Silas Curry (en) ![]() ![]() | ||||
Patrino | Anna Baright Curry (en) ![]() ![]() | ||||
Profesio | |||||
Okupo | matematikisto universitata instruisto filozofo komputosciencisto ![]() | ||||
Doktoreca konsilisto | David Hilbert vd | ||||
Verkado | |||||
Verkoj | respondo de Curry-Howard ❦ paradokso de Curry ❦ kareumado vd | ||||
| |||||
vd | Fonto: Vikidatumoj | ||||
Haskell Brooks CURRY [haskel bruks keri] (naskiĝis la 12-an de septembro 1900 en Millis, Usono, mortis la 1-an de septembro 1982 en State College, Usono) estis usona matematikisto kaj logikisto. Curry estas plej konata pro sia laboro en kombinatora logiko; kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de Moses Schönfinkel, Curry evoluis ĝin multe ankaŭ pro paradokso de Curry kaj la konformeco de Curry–Howard. Estas tri programlingvoj nomitaj honore de li, Haskell, Brook kaj Curry, ankaŭ la koncepto currying, nome maniero kiun oni uzas por transformi funkciojn en matematiko kaj informadiko.